densely ordered system

См. также в других словарях:

• Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… …   Wikipedia

• Linear continuum — In the mathematical field of order theory, a continuum or linear continuum is a generalization of the real line. Formally, a linear continuum is a linearly ordered set S of more than one element that is densely ordered , i.e., between any two… …   Wikipedia

• Serialism — In music, serialism is a technique for composition that uses sets to describe musical elements, and allows the manipulation of those sets.Fact|date=May 2008 Serialism is often, though not universally, held to begin with twelve tone technique,… …   Wikipedia

• Cantor's first uncountability proof — Georg Cantor s first uncountability proof demonstrates that the set of all real numbers is uncountable. Cantor formulated the proof in December 1873 and published it in 1874 in Crelle s Journal [cite… …   Wikipedia

• Continuum (mathematics) — In mathematics, the word continuum has at least two distinct meanings, outlined in the sections below. For other uses see Continuum.Ordered setThe term the continuum sometimes denotes the real line. Somewhat more generally a continuum is a… …   Wikipedia

• china — /chuy neuh/, n. 1. a translucent ceramic material, biscuit fired at a high temperature, its glaze fired at a low temperature. 2. any porcelain ware. 3. plates, cups, saucers, etc., collectively. 4. figurines made of porcelain or ceramic material …   Universalium

• China — /chuy neuh/, n. 1. People s Republic of, a country in E Asia. 1,221,591,778; 3,691,502 sq. mi. (9,560,990 sq. km). Cap.: Beijing. 2. Republic of. Also called Nationalist China. a republic consisting mainly of the island of Taiwan off the SE coast …   Universalium

• Mexico — /mek si koh /, n. 1. a republic in S North America. 97,563,374; 761,530 sq. mi. (1,972,363 sq. km). Cap.: Mexico City. 2. a state in central Mexico. 6,245,000; 8268 sq. mi. (21,415 sq. km). Cap.: Toluca. 3. Gulf of, Mexican, Golfo de México /gawl …   Universalium

• Europe, history of — Introduction       history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… …   Universalium

• Indonesia — /in deuh nee zheuh, sheuh, zee euh, doh /, n. 1. See East Indies (def. 1). 2. Republic of. Formerly, Netherlands East Indies, Dutch East Indies. a republic in the Malay Archipelago consisting of 13,677 islands, including Sumatra, Java, Sulawesi,… …   Universalium

• Nigeria — Nigerian, adj., n. /nuy jear ee euh/, n. a republic in W Africa: member of the Commonwealth of Nations; formerly a British colony and protectorate. 107,129,469; 356,669 sq. mi. (923,773 sq. km). Cap.: Abuja. Official name, Federal Republic of… …   Universalium